Semi-Contraction: Axioms and Construction
نویسندگان
چکیده
Semi-contraction is a withdrawal operation defined by Fermé in “On the logic of theory change: Contraction without recovery.” In this paper we propose: (1) an axiomatic characterization of semi-contraction; (2) an alternative construction for semi-contraction based on semi-saturatable sets, inspired by Levi’s saturatable sets; (3) a special kind of semi-contraction that satisfies the Lindström and Rabinowicz interpolation thesis.
منابع مشابه
Extracting Ontology Hierarchies From Text
Ontologies are an approach for knowledge representation capable of expressing a set of entities and their relationships, constraints, axioms and vocabulary of a given domain. Manual construction of ontologies by domain experts and knowledge engineers is an expensive and time consuming task so, automatic and/or semi-automatic approaches are needed. Ontology Learning looks for automatically or se...
متن کاملBest Proximity Points Results for Cone Generalized Semi-Cyclic φ-Contraction Maps
In this paper, we introduce a cone generalized semi-cyclicφ−contraction maps and prove best proximity points theorems for such mapsin cone metric spaces. Also, we study existence and convergence results ofbest proximity points of such maps in normal cone metric spaces. Our resultsgeneralize some results on the topic.
متن کاملConditional products: An alternative approach to conditional independence
We introduce a new abstract approach to the study of conditional independence, founded on a concept analogous to the factoriza-tion properties of probabilistic independence, rather than the separation properties of a graph. The basic ingredient is the \con-ditional product", which provides a way of combining the objects under consideration while preserving as much independence as possible. We i...
متن کاملar X iv : m at h . L O / 0 50 40 65 v 1 4 A pr 2 00 5 Logic Without
This paper presents an abstract, mathematical formulation of classical propositional logic. It proceeds layer by layer: (1) abstract, syntax-free propositions; (2) abstract , syntax-free contraction-weakening proofs; (3) distribution ; (4) axioms p ∨ p. Abstract propositions correspond to objects of the category G(Rel L) where G is the Hyland-Tan double glue-ing construction, Rel is the standar...
متن کاملHigher Separation Axioms via Semi*-open sets
The purpose of this paper is to introduce new separation axioms semi*-regular, semi*-normal, s*regular, s**-normal using semi*-open sets and investigate their properties. We also study the relationships among themselves and with known axioms regular, normal, semi-regular and semi-normal. Mathematics Subject Classification 2010: 54D10, 54D15
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 39 شماره
صفحات -
تاریخ انتشار 1998